RankT nullityT = dimV